EMBEDDING THEOREMS FOR BOOLEAN ALGEBRAS AND CONSISTENCY RESULTS ON ORDINAL DEFINABLE SETS.STEPANEK P; BALCAR B.1977; J. SYMBOL. LOGIC; U.S.A.; DA. 1977; VOL. 42; NO 1; PP. 64-76; BIBL. 14 REF.Article

ON DECIDABILITY OF ONE CLASS OF BOOLEAN FORMULAS.MIJAJLOVIC Z.1974; MAT. VES.; JUGOSL.; DA. 1974; NO 11; PP. 48-54; BIBL. 2 REF.Article

A REASSESSMENT OF GEORGE BOOLE'S THEORY OF LOGIC.VAN EVRA JW.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 363-377; BIBL. 1 P.Article

ON NACHBIN'S CHARACTERIZATION OF A BOOLEAN LATTICE.CORNISH WH.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 1; PP. 155-157; BIBL. 7 REF.Article

STRUKTURSAETZE DER ALGEBRA UND KOMPLIZIERTHEIT LOGISCHER SCHEMATA. I. BOOLESCHE ALGEBREN. = THEOREME DE STRUCTURE DES ALGEBRES ET DES SCHEMAS LOGIQUES COMPLEXES. I. ALGEBRE BOOLEENNEHOEHNKE HJ.1974; MATH. NACHR.; DTSCH.; DA. 1974; VOL. 61; PP. 15-35Article

AN ADDITIONAL REMARK ON SELF-CONJUGATE FUNCTIONS ON BOOLEAN ALGEBRASSUDKAMP TA.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 4; PP. 637-638; BIBL. 1 REF.Article

A COMPLETE CLASSIFICATION OF THREE-PLACE FUNCTORS IN TWO-VALUED LOGIC.MUZIO JC.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 429-437; BIBL. 6 REF.Article

AN AXIOMATIC CHARACTERIZATION OF BOOLEAN-VALUED MODELS FOR SET THEORYKOSCIELSKI A.1973; COLLOQ. MATH.; POLOGNE; DA. 1973; VOL. 27; NO 2; PP. 165-170; BIBL. 2 REF.Serial Issue

FUZZY LOGIC AND APPROXIMATE REASONING FOR MIXED INPUT ARGUMENTSBALDWIN JF.1979; INTERNATION. J. MAN-MACH. STUD.; GBR; DA. 1979; VOL. 11; NO 3; PP. 381-396; BIBL. 8 REF.Article

THE BINARY REPRESENTATION OF M-VALUED LOGIC WITH APPLICATIONS TO UNIVERSAL DECISION ELEMENTSLOADER J.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 216-226; BIBL. 5 REF.Article

KOHAERENTE SYSTEME VON BOOLESCHEN ALGEBREN = SYSTEME COHERENT D'ALGEBRES DE BOOLESCHWARTZ D.1979; MATH. NACHR.; DDR; DA. 1979; VOL. 91; PP. 253-262; BIBL. 14 REF.Article

THE ADEQUACY OF MATERIAL DIALOGUE-GAMES.KRABBE ECW.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 3; PP. 321-330; BIBL. 9 REF.Article

A SEMANTICAL ANALYSIS OF THE CALCULI C_N.DA COSTA NCA; ALVES EH.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 4; PP. 621-630; BIBL. 5 REF.Article

A DIGITAL APPROACH TO THE EFFICIENT SYNTHESIS OF THRESHOLD GATES.WINN GCE.1975; COMPUTER J.; G.B.; DA. 1975; VOL. 18; NO 3; PP. 239-242; BIBL. 3 REF.Article

DECIDABILITY AND BOOLEAN REPRESENTATIONSBURRIS S; MCKENZIE R.1981; MEM. AM. MATH. SOC.; ISSN 0065-9266; USA; DA. 1981; VOL. 32; NO 246; 113 P.; BIBL. 33 REF.Serial Issue

BOOLEAN VALUED MODELS AND GENERALIZED QUANTIFIERSVAANANEN J.1980; ANN. MATH. LOGIC; ISSN 0003-4843; NLD; DA. 1980; VOL. 18; NO 3; PP. 193-225; BIBL. 20 REF.Article

SHEAVES AND BOOLEAN VALUED MODEL THEORYLOULLIS G.1979; J. SYMBOL. LOGIC; USA; DA. 1979; VOL. 44; NO 2; PP. 153-183; BIBL. 16 REF.Article

THE STRUCTURE OF COUNTABLE BOOLEAN ALGEBRAS.KETONEN J.1978; ANN. MATH.; USA; DA. 1978; VOL. 108; NO 1; PP. 41-89; BIBL. 15 REF.Article

THE CONSTRAINED-INPUT PROBLEM.BROWN FM.1975; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1975; VOL. 24; NO 1; PP. 102-106; BIBL. 10 REF.Article

NEUE SYMBOLE ZUR DARSTELLUNG LOGISCHER BINAERER ELEMENTE. = LES NOUVEAUX SYMBOLES DES ELEMENTS LOGIQUES BINAIRESTHOMAS J.1976; RADIO FERNSEHEN ELEKTRON.; DTSCH.; DA. 1976; VOL. 25; NO 18; PP. 595-598; BIBL. 6 REF.Article

FPLA ARBITER CONCEPT ADAPTS TO APPLICATION NEEDSBENTLEY AW.1981; COMPUT. DES.; ISSN 0010-4566; USA; DA. 1981; VOL. 20; NO 6; PP. 149-155; BIBL. 3 REF.Article

OPTICAL LOGIC WITH VARIABLE-GRATING-MODE LIQUID-CRYSTAL DEVICESCHAVEL P; SAWCHUK AA; STRAND TC et al.1980; OPT. LETTERS; USA; DA. 1980; VOL. 5; NO 9; PP. 398-400; BIBL. 8 REF.Article

PLAN DE TRABAJO: SINTESIS DE CIRCUITOS LOGICOS BINARIOS MODULARES = PLAN DE TRAVAIL: SYNTHESE DE CIRCUITS LOGIQUES BINAIRES MODULAIRESVAQUERO SANCHEZ AR.1978; REV. R. ACAD. CI. EXACT. FIS. NAT. MADRID; ESP; DA. 1978; VOL. 72; NO 4; PP. 625-628; ABS. ENG; BIBL. 18 REF.Article

AN EXAMINATION OF ALGEBRAIC TEST GENERATION METHODS FOR MULTIPLE FAULTS.CARROLL BD; SHAH HG; JONES DM et al.1974; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1974; VOL. 23; NO 7; PP. 743-745; BIBL. 7 REF.Article

THE COMPUTATION OF COMPLETE AND REDUCED SETS OF ORTHOGONAL SPECTRAL COEFFICIENTS FOR LOGIC DESIGN AND PATTERN RECOGNITION PURPOSESMUZIO JC; HURST SL.1978; COMPUTERS ELECTR. ENGNG; GBR; DA. 1978; VOL. 5; NO 3; PP. 231-249; BIBL. 24 REF.Article